#include <func.h>

int main(int argc,char *argv[])
{
    printf("%d %d %d ",fileno(stdin),fileno(stdout),fileno(stderr));

    return 0;
}

